class DATABUCKET{K,E} < $NEXT{DATABUCKET{K,E}}

****	An addition to BUCKET{K} this class also adds data. One would like to include BUCKET{K}, but SAME is expanded too early, wait for Sather 1.1. :-)

---

Ancestors

$NEXT{_}

---

Public

Readable Attributes

attr data: E;

attr item: K;

attr next:T;

****	Pointer to next element in list, if any.

Writable Attributes

attr data: E;

attr item: K;

attr next:T;

****	Pointer to next element in list, if any.

Features

append(l:T)

****	Append the list `l' to the end of the list self. self may not be void but `l' may be.

copy_list: SAME

create(k:K): SAME

create(k:K,e:E): SAME

create(k:K,e:E,n:SAME): SAME

insert(e:T)

****	Insert the single element `e' after self. Neither may be void, `e.next' must be void.

size:INT

****	The number of elements in the list starting with self. Self may be void.

Iters

list!: SAME

****	Yields all subsequent elements in the list.

---